Cardinality of Equivalence Relations
نویسنده
چکیده
This entry provides formulae for counting the number of equivalence relations and partial equivalence relations over a finite carrier set with given cardinality. To count the number of equivalence relations, we provide bijections between equivalence relations and set partitions [4], and then transfer the main results of the two AFP entries, Cardinality of Set Partitions [1] and Spivey’s Generalized Recurrence for Bell Numbers [2], to theorems on equivalence relations. To count the number of partial equivalence relations, we observe that counting partial equivalence relations over a set A is equivalent to counting all equivalence relations over all subsets of the set A. From this observation and the results on equivalence relations, we show that the cardinality of partial equivalence relations over a finite set of cardinality n is equal to the n+ 1-th Bell number [3].
منابع مشابه
The number of L∞κ-equivalent non-isomorphic models for κ weakly compact
For a cardinal κ and a model M of cardinality κ let No(M) denote the number of non-isomorphic models of cardinality κ which are L∞,κequivalent to M . We prove that for κ a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality κ is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Σ1-definable ...
متن کامل2 9 N ov 1 99 9 The number of L ∞ κ - equivalent non - isomorphic models for κ weakly compact
For a cardinal κ and a model M of cardinality κ let No(M) denote the number of non-isomorphic models of cardinality κ which are L∞κ-equivalent to M. In [She82] Shelah established that when κ is a weakly compact cardinal and μ ≤ κ is a nonzero cardinal, there exists a model M of cardinality κ with No(M) = μ. We prove here that if κ is a weakly compact cardinal, the question of the possible value...
متن کاملGeneralized voice-leading spaces.
Western musicians traditionally classify pitch sequences by disregarding the effects of five musical transformations: octave shift, permutation, transposition, inversion, and cardinality change. We model this process mathematically, showing that it produces 32 equivalence relations on chords, 243 equivalence relations on chord sequences, and 32 families of geometrical quotient spaces, in which ...
متن کاملReal Analysis Exchange
For f : [0, 1] → R, consider the relation Ef on [0, 1] defined by (xn)Ef (yn)⇔ P n<ω f(|yn−xn|) <∞. We study the Borel reducibility of Borel equivalence relations of the form Ef . Our results indicate that for every 1 ≤ p < q < ∞, the order ≤B of Borel reducibility on the set of equivalence relations {E : EIdp ≤B E ≤B EIdq} is more complicated than expected, e.g. consistently every linear order...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Archive of Formal Proofs
دوره 2016 شماره
صفحات -
تاریخ انتشار 2016